what is reversal automata